From 4d60f702956ce07813c072003f84cc79cc7da8c0 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Mon, 10 Aug 2009 13:33:01 +0100 Subject: [PATCH] x86: make mce debug output more verbose Signed-off-by: Christoph Egger --- xen/arch/x86/cpu/mcheck/mce.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/cpu/mcheck/mce.c b/xen/arch/x86/cpu/mcheck/mce.c index 4e2c16a959..bfd4544357 100644 --- a/xen/arch/x86/cpu/mcheck/mce.c +++ b/xen/arch/x86/cpu/mcheck/mce.c @@ -798,8 +798,8 @@ int mce_wrmsr(u32 msr, u64 value) case MSR_IA32_MCG_CTL: if ( value && (value + 1) ) { - gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL " - "should be all 0s or 1s\n"); + gdprintk(XENLOG_WARNING, "MCE: value \"%"PRIx64"\" written " + "to MCG_CTL should be all 0s or 1s\n", value); ret = -1; break; } -- 2.30.2